SRI International

Results: 1439



#Item
41

Workshop on Big Data in Education Balancing the Benefits of Educational Research and Student Privacy Implications of Privacy Concerns for Using Student Data for Research: Panel Summary Marie Bienkowski, SRI International

Add to Reading List

Source URL: naeducation.org

- Date: 2017-05-15 11:15:29
    42

    Securing the Software-Defined Network Control Layer Phillip Porras, Steven Cheung, Martin Fong, Keith Skinner, and Vinod Yegneswaran Computer Science Laboratory, SRI International 333 Ravenswood Avenue, Menlo Park, CA 94

    Add to Reading List

    Source URL: www.csl.sri.com

    - Date: 2014-12-07 16:47:18
      43

      Probabilistic Inference Modulo Theories Rodrigo de Salvo Braz SRI International Menlo Park, CA, USA Ciaran O’Reilly

      Add to Reading List

      Source URL: www.ai.sri.com

      - Date: 2016-04-20 14:11:39
        44

        Probabilistic Inference Modulo Theories∗ Rodrigo de Salvo Braz SRI International Menlo Park, CA, USA Ciaran O’Reilly

        Add to Reading List

        Source URL: www.ai.sri.com

        - Date: 2016-06-08 22:02:44
          45

          AIC-PRAiSE User Guide Rodrigo de Salvo Braz Artificial Intelligence Center SRI International July 3, 2016

          Add to Reading List

          Source URL: www.ai.sri.com

          - Date: 2016-07-03 19:16:48
            46

            Formal Specification and Analysis of Robust Adaptive Distributed Cyber-Physical Systems ? Carolyn Talcott1 , Vivek Nigam2 , Farhad Arbab3 , and Tobias Kapp´e4 1 SRI International, Menlo Park, CA 94025, USA

            Add to Reading List

            Source URL: nigam.info

            - Date: 2016-05-07 12:12:43
              47

              Security-Mode ONOS Changhoon Yoon KAIST Collaborators SRI International

              Add to Reading List

              Source URL: events.linuxfoundation.org

              - Date: 2016-03-03 22:18:25
                48

                Bixie: Finding and Understanding Inconsistent Code Tim McCarthy∗ , and Philipp R¨ummer† , and Martin Sch¨af∗ ∗ SRI International University

                Add to Reading List

                Source URL: www.csl.sri.com

                - Date: 2015-02-12 18:39:22
                  49

                  Making Shakey Peter E. Hart Abstract Shakey, the world’s first mobile, intelligent robot, was developed at Stanford Research Institute (now SRI International) between 1966 andI worked on this project from the da

                  Add to Reading List

                  Source URL: rll.berkeley.edu

                  - Date: 2015-06-22 10:46:13
                    50

                    Model-Constructing Satisfiability Calculus A Model-Based Approach to SMT Dejan Jovanović SRI International

                    Add to Reading List

                    Source URL: www.cs.nyu.edu

                    - Date: 2015-07-16 01:29:46
                      UPDATE